event{-}system0\{i:l\} $\in$ Type$_{\mbox{\scriptsize i'}}$